Symbolic logic system

Synonyms for "symbolic logic system" (13 found)

Ranked by relevance and common usage.

Closest matches (3)

Adjective(3 words)
axiomatic logic systemcomputational logic toolemblematic

Strong matches (4)

Adjective(4 words)
figurativeformalformal logic systemlogic-based

Related words (6)

Adjective(6 words)

Related word relations

OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.

5 relation types

More general

9 entries
computational logicformal systemlogic frameworklogical attributenotation stylerepresentation methodsemantic propertytechnical propertytheoretical computer science

More specific

12 entries
algebraic logicalgebraic notationcultural symbolismemblematic symbolizationgraphical notationlogic programmingmodal logicmodel checkernotational logicpredicate calculuspropositional calculustheorem prover

Collocations

11 entries
algebraic logicaxiom systemformal logicnotational logic systempredicate calculuspropositional calculussymbolic logicsymbolic notationsymbolic reasoningsymbolic representationtemporal logic

Inflections

5 entries
more symbolic logic systemmore symbolically logical systemmost symbolic logic systemmost symbolically logical systemsymbolic logic systems

Derivations

4 entries